This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee masThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lee masThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee mas